Contextually Communicating Sequential Processes

(CCSP) A notation based on {CSP}.

["Contextually Communicating Sequential Processes - A Software

Engineering Approach", M. Hull et al, Software Prac & Exp

16(9):845-864 (Sept 1986)].

(1994-11-01)